Search results for "theory [gamma rays]"

showing 10 items of 976 documents

On the listing and random generation of hybrid binary trees

1994

We consider in this paper binary trees whose internal nodes are either associative or non-associative. Hybrid binary trees are equivalence classes with respect to the associative property. We count, list and generate randomly hybrid binary trees using Fibonacci numbers.

Discrete mathematicsBinary treeApplied MathematicsWeight-balanced treeScapegoat treeRandom binary treeComputer Science ApplicationsCombinatoricsComputational Theory and MathematicsBinary search treeGeometry of binary search treesTernary search treeBinary expression treeMathematicsInternational Journal of Computer Mathematics
researchProduct

A bijection between words and multisets of necklaces

2012

Two of the present authors have given in 1993 a bijection Phi between words on a totally ordered alphabet and multisets of primitive necklaces. At the same time and independently, Burrows and Wheeler gave a data compression algorithm which turns out to be a particular case of the inverse of Phi. In the present article, we show that if one replaces in Phi the standard permutation of a word by the co-standard one (reading the word from right to left), then the inverse bijection is computed using the alternate lexicographic order (which is the order of real numbers given by continued fractions) on necklaces, instead of the lexicographic order as for Phi(-1). The image of the new bijection, ins…

Discrete mathematicsBurrows and Wheeler TransformMathematics::CombinatoricsSettore INF/01 - InformaticaFree Lie algebraLie superalgebrastandard permutationLexicographical orderTheoretical Computer ScienceImage (mathematics)CombinatoricsSet (abstract data type)PermutationComputational Theory and MathematicsBijectionDiscrete Mathematics and CombinatoricsGeometry and TopologyComputer Science::Formal Languages and Automata TheoryWord (group theory)MathematicsReal number
researchProduct

Efficient computation of the branching structure of an algebraic curve

2012

An efficient algorithm for computing the branching structure of a compact Riemann surface defined via an algebraic curve is presented. Generators of the fundamental group of the base of the ramified covering punctured at the discriminant points of the curve are constructed via a minimal spanning tree of the discriminant points. This leads to paths of minimal length between the points, which is important for a later stage where these paths are used as integration contours to compute periods of the surface. The branching structure of the surface is obtained by analytically continuing the roots of the equation defining the algebraic curve along the constructed generators of the fundamental gro…

Discrete mathematicsCircular algebraic curveComputational Geometry (cs.CG)FOS: Computer and information sciencesStable curveApplied MathematicsButterfly curve (algebraic)010102 general mathematics010103 numerical & computational mathematics01 natural sciencesModular curveMathematics - Algebraic GeometryComputational Theory and Mathematics14Q05Algebraic surfaceFOS: MathematicsComputer Science - Computational GeometryAlgebraic functionAlgebraic curve0101 mathematicsHyperelliptic curveAlgebraic Geometry (math.AG)AnalysisMathematics
researchProduct

Varieties of Codes and Kraft Inequality

2007

Decipherability conditions for codes are investigated by using the approach of Guzman, who introduced in [7] the notion of variety of codes and established a connection between classes of codes and varieties of monoids. The class of Uniquely Decipherable (UD) codes is a special case of variety of codes, corresponding to the variety of all monoids. It is well known that the Kraft inequality is a necessary condition for UD codes, but it is not sufficient, in the sense that there exist codes that are not UD and that satisfy the Kraft inequality. The main result of the present paper states that, given a variety V of codes, if all the elements of V satisfy the Kraft inequality, then V is the var…

Discrete mathematicsClass (set theory)Computational Theory and MathematicsTheory of computationHigh Energy Physics::ExperimentAstrophysics::Cosmology and Extragalactic AstrophysicsKraft's inequalityVariety (universal algebra)Special caseConnection (algebraic framework)Mathematics::Representation TheoryTheoretical Computer ScienceMathematicsTheory of Computing Systems
researchProduct

Über die Schnittzahlen mehrfach balancierter blockpläne

1991

Abstract For a finite incidence structure D with a set X of blocks let [ X ] be the number of points common with all blocks contained in X . We define the functions M(t)(B1,…; B1)=ΣB [B1, B]…[B1,B], and, for every partition ϖ = ϖ1,…,ϖ1) of t, the function Mϖ(B1,…,B1) = Σ Πm [Bi | i ϵ Rm], sum over all decompositions {l, …, t} = R1, ⊃ … ⊃ Rl, |Rm| = ϖm. We show: If D is t-fold balanced, then M(t) = Σϖ cϖMϖ, where the, coefficients cϖ are linear combinations of the parameters b1,…,bt, the constant numbers of blocks through any l,…, t distinct points. Conversely, if the rank of the b × b-matrix ([B, B∗])B,B∗ is equal to the number ν of points and M(t) is a rational linear combination of the fu…

Discrete mathematicsCombinatoricsComputational Theory and MathematicsIncidence structureDiscrete Mathematics and CombinatoricsPartition (number theory)Linear combinationTheoretical Computer ScienceBlock designMathematicsJournal of Combinatorial Theory, Series A
researchProduct

An efficient Gray code algorithm for generating all permutations with a given major index

2014

Abstract In Effler and Ruskey (2003) [1] the authors give an algorithm, which appears to be CAT, for generating permutations with a given major index. In the present paper we give a new algorithm for generating a Gray code for subexcedant sequences. We show that this algorithm is CAT and modify it into a CAT generating algorithm for a Gray code for permutations with a given major index.

Discrete mathematicsCombinatoricsGray codeComputational Theory and MathematicsDiscrete Mathematics and CombinatoricsMajor indexAlgorithmTheoretical Computer ScienceMathematicsJournal of Discrete Algorithms
researchProduct

On generalized weakly G-contraction mapping in G-metric spaces

2011

In this paper, we establish some common fixed point results for two self-mappings f and g on a generalized metric space X. To prove our results we assume that f is a generalized weakly G-contraction mapping of types A and B with respect to g.

Discrete mathematicsComputational MathematicsMetric spaceComputational Theory and MathematicsModeling and SimulationInjective metric spaceMetric (mathematics)Metric mapProduct metricContraction mappingIntrinsic metricMathematicsConvex metric spaceComputers & Mathematics with Applications
researchProduct

First-order expressibility of languages with neutral letters or: The Crane Beach conjecture

2005

A language L over an alphabet A is said to have a neutral letter if there is a letter [email protected]?A such that inserting or deleting e's from any word in A^* does not change its membership or non-membership in L. The presence of a neutral letter affects the definability of a language in first-order logic. It was conjectured that it renders all numerical predicates apart from the order predicate useless, i.e., that if a language L with a neutral letter is not definable in first-order logic with linear order, then it is not definable in first-order logic with any set N of numerical predicates. Named after the location of its first, flawed, proof this conjecture is called the Crane Beach …

Discrete mathematicsConjectureComputer Networks and CommunicationsApplied MathematicsFirst orderNumerical predicatesPredicate (grammar)Theoretical Computer ScienceFirst-order logicIterated logarithmCombinatoricsComputational Theory and MathematicsRegular languageDatabase theoryCircuit complexityFirst-order logicCircuit uniformityMathematicsJournal of Computer and System Sciences
researchProduct

Classical sequences revisited with permutations avoiding dotted pattern

2011

International audience; Inspired by the definition of the barred pattern-avoiding permutation, we introduce the new concept of dotted pattern for permutations. We investigate permutations classes avoiding dotted patterns of length at most 3, possibly along with other classical patterns. We deduce some enumerating results which allow us to exhibit new families of permutations counted by the classical sequences: 2^n, Catalan, Motzkin, Pell, Fibonacci, Fine, Riordan, Padovan, Eulerian.

Discrete mathematicsFibonacci numberMathematics::CombinatoricsApplied Mathematics010102 general mathematicsEulerian path[ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM]0102 computer and information sciences[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM][ MATH.MATH-CO ] Mathematics [math]/Combinatorics [math.CO]01 natural sciencesTheoretical Computer ScienceCombinatorics[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO]symbols.namesakePermutation[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]Computational Theory and Mathematics010201 computation theory & mathematics[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]symbolsDiscrete Mathematics and CombinatoricsGeometry and Topology0101 mathematicsMathematics
researchProduct

Generating restricted classes of involutions, Bell and Stirling permutations

2010

AbstractWe present a recursive generating algorithm for unrestricted permutations which is based on both the decomposition of a permutation as a product of transpositions and that as a union of disjoint cycles. It generates permutations at each recursive step and slight modifications of it produce generating algorithms for Bell permutations and involutions. Further refinements yield algorithms for these classes of permutations subject to additional restrictions: a given number of cycles or/and fixed points. We obtain, as particular cases, generating algorithms for permutations counted by the Stirling numbers of the first and second kind, even permutations, fixed-point-free involutions and d…

Discrete mathematicsGolomb–Dickman constantMathematics::CombinatoricsStirling numbers of the first kindParity of a permutationTheoretical Computer ScienceCombinatoricsDerangementPermutationComputational Theory and MathematicsRandom permutation statisticsDiscrete Mathematics and CombinatoricsStirling numberGeometry and TopologyRencontres numbersMathematicsMathematicsofComputing_DISCRETEMATHEMATICSEuropean Journal of Combinatorics
researchProduct